Module("names",[Imports([(),(),()]),Imports([()]),Signature([Constructors([OpDecl("Type",ConstType(SortNoArgs("DefDataKind"))),OpDecl("Import",ConstType(SortNoArgs("DefDataKind"))),OpDecl("Transitive",ConstType(SortNoArgs("ImportAnno"))),OpDecl("CurrentFile",ConstType(SortNoArgs("ImportAnno")))]),Constructors([OpDecl("Module",ConstType(SortNoArgs("Namespace"))),OpDecl("Entity",ConstType(SortNoArgs("Namespace"))),OpDecl("Property",ConstType(SortNoArgs("Namespace")))])]),Rules([])])